MUON
Projects
Help
Log in
Sign up
MUON home
Help
Muon tools
Convert journeys to DGS
Convert journeys to DGS
Reads a file containing descriptions of message journeys, and produces a DGS file where nodes are tagged with the journey id at the time of a journey hop related to the node.
Input file(s)
inJrney
Description
The journey input file
Type
jrney
Quantifier
1 (mandatory)
Output file(s)
outDGS
Description
The DGS output file
Type
dgs